d'office, après recul de limite d'âge

à faire valoir ses droits à la retraite

professeur des écoles des mines de 1re classe à l'Ecole nationale supérieure des mines de Paris

professeur de 1re catégorie à l'Ecole nationale supérieure des mines de Paris